static unsigned int __initdata opt_dom0_max_vcpus;
integer_param("dom0_max_vcpus", opt_dom0_max_vcpus);
+static int dom0_11_mapping = 1;
+
#define DOM0_MEM_DEFAULT 0x8000000 /* 128 MiB */
static u64 __initdata dom0_mem = DOM0_MEM_DEFAULT;
u32 reg_len, reg_size;
unsigned int bank = 0;
- if ( platform_has_quirk(PLATFORM_QUIRK_DOM0_MAPPING_11) )
+ if ( dom0_11_mapping )
return allocate_memory_11(d, kinfo);
while ( (memory = dt_find_node_by_type(memory, "memory")) )
iounmap(pmu);
}
-static uint32_t exynos5_quirks(void)
-{
- return PLATFORM_QUIRK_DOM0_MAPPING_11;
-}
-
static const char * const exynos5_dt_compat[] __initconst =
{
"samsung,exynos5250",
.smp_init = exynos5_smp_init,
.cpu_up = exynos5_cpu_up,
.reset = exynos5_reset,
- .quirks = exynos5_quirks,
.blacklist_dev = exynos5_blacklist_dev,
PLATFORM_END
iounmap(pmu);
}
-static uint32_t midway_quirks(void)
-{
- return PLATFORM_QUIRK_DOM0_MAPPING_11;
-}
-
static const char * const midway_dt_compat[] __initconst =
{
"calxeda,ecx-2000",
PLATFORM_START(midway, "CALXEDA MIDWAY")
.compatible = midway_dt_compat,
.reset = midway_reset,
- .quirks = midway_quirks,
PLATFORM_END
/*
return 0;
}
-static uint32_t omap5_quirks(void)
-{
- return PLATFORM_QUIRK_DOM0_MAPPING_11;
-}
-
static const char const *omap5_dt_compat[] __initconst =
{
"ti,omap5",
.specific_mapping = omap5_specific_mapping,
.smp_init = omap5_smp_init,
.cpu_up = omap5_cpu_up,
- .quirks = omap5_quirks,
PLATFORM_END
/*
static uint32_t xgene_storm_quirks(void)
{
- return PLATFORM_QUIRK_DOM0_MAPPING_11|PLATFORM_QUIRK_GIC_64K_STRIDE;
+ return PLATFORM_QUIRK_GIC_64K_STRIDE;
}
static int map_one_mmio(struct domain *d, const char *what,
unsigned int dom0_evtchn_ppi;
};
-/*
- * Quirk to map dom0 memory in 1:1
- * Useful on platform where System MMU is not yet implemented
- */
-#define PLATFORM_QUIRK_DOM0_MAPPING_11 (1 << 0)
/*
* Quirk for platforms where the 4K GIC register ranges are placed at
* 64K stride.
*/
-#define PLATFORM_QUIRK_GIC_64K_STRIDE (1 << 1)
+#define PLATFORM_QUIRK_GIC_64K_STRIDE (1 << 0)
void __init platform_init(void);
int __init platform_init_time(void);